#include <stdio.h>
int main()
{
    int n;
    int flag = 1;
    scanf("%d", &n);
    if(n <= 2000 || n > 2100)
    {
        printf("Invalid year!");
        return 0;
    }
    for(int i = 2001; i <= n; i++)
    {
        if (i % 400 == 0 || i % 4 == 0 && i % 100 != 0)
        {
            printf("%d\n", i);
            flag = 0;
        }
    }
    if(flag) printf("None");
    return 0;
}